xen/arm: phys_timer fixes
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Wed, 20 Feb 2013 18:16:37 +0000 (18:16 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 10 Apr 2013 15:12:38 +0000 (16:12 +0100)
commit94d166c0106f158fa2c86496bfb0ca1fbb8627ec
tree4b97def8be153a5d13e1915cc656f6c421795fd6
parentc96513ff9d564b019ab8849d5bd8c4c81b19e871
xen/arm: phys_timer fixes

Do not unmask the emulated phys_timer when the related Xen timer
expires.
Do not inject the phys_timer interrupt if it is masked.

Do not let the user set CNTx_CTL_PENDING directly.

Set CNTx_CTL_PENDING when the phys_timer expires and clear it when the
phys_timer is disabled or the compare value is changed.

Define offset and cval as uint64_t given that they can't be negative and
they are used as uint64_t arguments.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vtimer.c
xen/include/asm-arm/domain.h